libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
An easy-to-implement, arena-friendly hash map
nullprogram.com·2h·
Discuss: Lobsters
🔐Hash Functions
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Decomposition of Symmetrical Classes of Central Configurations
arxiv.org·20h
💎Information Crystallography
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·1d
🧮Kolmogorov Complexity
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·1d
🔗Functional Compilers
Can a Client–Server Cache Tango Accelerate Disaggregated Storage?
muratbuffalo.blogspot.com·2h·
Discuss: www.blogger.com
⚡Cache Coherence
Arenas in Rust
russellw.github.io·22h·
Discuss: Hacker News
🦀Rust Borrowing
Double Maths First Thing: Issue 30
aperiodical.com·16h
📐Mathematical Art
How To Solve Every Programming Problem
blog.codeminer42.com·4h
📐Interval Arithmetic
Software books I wish I could read
buttondown.com·11h·
Discuss: Hacker News
🔄Language Evolution
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·1d
💻Local LLMs
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·20h
📊Static Analysis
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Alexander Grothendieck and the Invisible Walls of Academia
lightcapai.medium.com·5h·
Discuss: Hacker News
🏛Digital humanities
Rod Burstall: In Memoriam
arxiv.org·1d·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
C and VLAs (Variable Length Arrays)
subethasoftware.com·6h
🔩Systems Programming